Tychonoff’s theorem as a direct application of Zorn’s lemma
نویسنده
چکیده
A simple proof of Tychonoff’s theorem (the compactness of the product of compact spaces) as a direct application of Zorn’s lemma is given. In contrast to the classical Cartan-Bourbaki proof which uses Zorn’s lemma twice, our proof uses it only once.
منابع مشابه
9. the Axiom of Choice and Zorn’s Lemma
§9.1 The Axiom of Choice We come now to the most important part of set theory for other branches of mathematics. Although infinite set theory is technically the foundation for all mathematics, in practice it is perfectly valid for a mathematician to ignore it – with two exceptions. Of course most of the basic set constructions as outlined in chapter 2 (unions, intersections, cartesian products,...
متن کاملSome Applications of Zorn’s Lemma in Algebra
We indicate some new applications of Zorn’s Lemma to a number of algebraic areas. Specifically, we show that a property P holds for all the subobjects of a given object if and only if P supports both the chain condition from Zorn’s Lemma and some finitistic conditions on subobjects that have the flavor of mathematical induction. The specific algebraic contexts considered are modules, sets, grou...
متن کاملZorn’s Lemma and Some Applications
Zorn’s lemma is a result in set theory that appears in proofs of some non-constructive existence theorems throughout mathematics. We will state Zorn’s lemma below and use it in later sections to prove some results in linear algebra, ring theory, and group theory. In an appendix, we will give an application to metric spaces. The statement of Zorn’s lemma is not intuitive, and some of the termino...
متن کاملA Definable -adic Analogue of Kirszbraun’s Theorem on Extensions of Lipschitz Maps
A direct application of Zorn’s lemma gives that every Lipschitz map f : X ⊂ Qp → Qp has an extension to a Lipschitz map f̃ : Qp → Qp . This is analogous to, but easier than, Kirszbraun’s theorem about the existence of Lipschitz extensions of Lipschitz maps S ⊂ Rn → R`. Recently, Fischer and Aschenbrenner obtained a definable version of Kirszbraun’s theorem. In this paper, we prove in the p-adic ...
متن کاملConstructive Proof of Tychonoff’s Fixed Point Theorem for Sequentially Locally Non-Constant Functions
We present a constructive proof of Tychonoff’s fixed point theorem in a locally convex space for uniformly continuous and sequentially locally non-constant functions. Keywords—sequentially locally non-constant functions, Tychonoff’s fixed point theorem, constructive mathematics.
متن کامل